Probabilistic Algorithms and Ramsey-Type Principles in Reverse Mathematics Laurent Bienvenu Ludovic Patey

Source URL: ludovicpatey.com

• Mathematics
• Logic
• Proof theory
• Mathematical proofs
• Lemma
• Theorem
• Abstraction
• Reverse mathematics
• BPP

Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

Source URL: www.cs.tufts.edu

• Computer science
• Software engineering
• Computing
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• Symposium on Principles of Programming Languages
• SIGPLAN
• ECL programming language
• Association for Computing Machinery
• Programming language theory

Ramsey Theory in the Work of Paul Erd˝os Ron Graham∗ Jarik Neˇsetˇril† Abstract

Source URL: iti.mff.cuni.cz

THE STRUCTURE OF STRONGLY STATIONARY SYSTEMS NIKOS FRANTZIKINAKIS Abstract. Motivated by a problem in ergodic Ramsey theory, Furstenberg and Katznelson introduced the notion of strong stationarity, showing that certain r

Source URL: www.math.uoc.gr

ON GEOMETRIC GRAPH RAMSEY NUMBERS 1 ´ GYULA KAROLYI Department of Algebra and Number Theory, E¨

Source URL: www.cs.elte.hu

Ramsey Theory Contents 1 Monochromatic systems 1 Ramsey’s Theorem . . . . . .

Source URL: dl.dropboxusercontent.com

Constructive Ramsey theory G´abor Heged˝ us Abstract Explicit construction of Ramsey graphs has remained a challenging open problem for a long time. Frankl–Wilson [8], Alon [1] and Groln

Source URL: iti.mff.cuni.cz

THE TRIANGLE-FREE PROCESS AND R(3, k) GONZALO FIZ PONTIVEROS, SIMON GRIFFITHS, AND ROBERT MORRIS Abstract. The areas of Ramsey Theory and Random Graphs have been closely linked every since Erd˝ os’ famous proof in 194

Source URL: w3.impa.br

RAMSEY’S THEOREM FOR PAIRS AND PROVABLY RECURSIVE FUNCTIONS ALEXANDER KREUZER AND ULRICH KOHLENBACH Abstract. This paper addresses the strength of Ramsey’s theorem for pairs (RT22 ) over a weak base theory from the p

Source URL: www.mathematik.tu-darmstadt.de

Ergodic Ramsey theory: a dynamical approach to static theorems Vitaly Bergelson∗ Abstract. We discuss classical results of Ramsey theory together with their dynamical counterparts, survey recent developments and formul

Source URL: people.math.osu.edu